According to Alberto Coffa in The Semantic Tradition from Kant to Carnap, Kant’s account of mathematical judgment is built on a ‘semantic swamp’. Kant’s primitive semantics led him to appeal to pure intuition in an attempt to explain mathematical necessity. The appeal to pure intuition was, on Coffa’s line, a blunder from which philosophy was forced to spend the next 150 years trying to recover. This dismal assessment of Kant’s contributions to the evolution of accounts of mathematical necessity is fundamentally (...) backward-looking. Coffa’s account of how semantic theories of the a priori evolved out of Kant’s doctrine of pure intuition rightly emphasizes those developments, both scientific and philosophical, that collectively served to undermine the plausibility of Kant’s account. What is missing from Coffa’s story, apart from any recognition of Kant’s semantic innovations, is an attempt to appreciate Kant’s philosophical context and the distinctive perspective from which Kant viewed issues in the philosophy of mathematics. When Kant’s perspective and context are brought out, he can not only be seen to have made a genuinely progressive contribution to the development of accounts of mathematical necessity, but also to be relevant to contemporary issues in the philosophy of mathematics in underappreciated ways. (shrink)

According to Alberto Coffa in The Semantic Tradition from Kant to Carnap, Kant’s account of mathematical judgment is built on a ‘semantic swamp’. Kant’s primitive semantics led him to appeal to pure intuition in an attempt to explain mathematical necessity. The appeal to pure intuition was, on Coffa’s line, a blunder from which philosophy was forced to spend the next 150 years trying to recover. This dismal assessment of Kant’s contributions to the evolution of accounts of mathematical necessity is fundamentally (...) backward-looking. Coffa’s account of how semantic theories of the a priori evolved out of Kant’s doctrine of pure intuition rightly emphasizes those developments, both scientific and philosophical, that collectively served to undermine the plausibility of Kant’s account. What is missing from Coffa’s story, apart from any recognition of Kant’s semantic innovations, is an attempt to appreciate Kant’s philosophical context and the distinctive perspective from which Kant viewed issues in the philosophy of mathematics. When Kant’s perspective and context are brought out, he can not only be seen to have made a genuinely progressive contribution to the development of accounts of mathematical necessity, but also to be relevant to contemporary issues in the philosophy of mathematics in underappreciated ways. (shrink)

Organic chemists have been able to develop a robust, theoretical understanding of the phenomena they study; however, the primary theoretical devices employed in this field are not mathematical equations or laws, as is the case in most other physical sciences. Instead it is the diagram, and in particular the structural formula, that carries the explanatory weight in the discipline. To understand how this is so, it is necessary to investigate both the nature of the diagrams employed in organic chemistry and (...) how these diagrams are used in the explanations of the discipline. I will begin this paper by describing and characterizing the roles of the most important sort of diagram used in organic chemistry. Next I will present a model of explanations in organic chemistry and describe how diagrams contribute to these explanations. This will be followed by two examples that will support my abstract account of the role of diagrams in the explanations of organic chemistry. (shrink)

In my dissertation, I argue that contemporary interpretive work on Kant's philosophy of geometry has failed to understand properly the diagrammatic aspects of Euclidean reasoning. Attention to these aspects is amply repaid, not only because it provides substantial insight into the role of intuition in Kant's philosophy of mathematics, but also because it brings out both the force and the limitations of Kant's philosophical account of geometry. ;Kant characterizes the predecessors with which he was engaged as agreeing that mathematical judgments (...) are analytic a priori. This is an inadequate account of geometrical judgments for Kant, because it cannot be reconciled with the evident success of the Euclidean practice in producing a priori knowledge of the nature of space. The ubiquitous presence of diagrams in Euclidean proofs suggests that, at least in Kant's time, any plausible account of the establishment of geometrical judgments must provide for the role of quasi-perceptual representations of individuals. Kant's claim that mathematical judgments are synthetic a priori reflects, in its positive aspect, his recognition of the importance of these 'intuitive' representations to Euclidean reasoning. Furthermore, Kant's doctrine that geometrical knowledge is established by the construction of concepts in intuition can be usefully understood as an attempt to accommodate the role of diagrams in the establishment of synthetic a priori geometrical judgments. ;Both Kant's rejection of the analytic a priori account of mathematics and his positive account of geometry depend on the plausibility of his appeals to Euclidean practice. Attention to the role of diagrams in Euclidean proof supports Kant's contention that intuitive representations are an essential component of Euclidean reasoning; however, the role of diagrams in both reductio proofs and in proofs by cases brings out tensions in Kant's positive account. The use of diagrams to represent impossible geometrical situations in reductio proofs indicates that Kant's notion of 'construction in intuition' can have a broader application than the construction of instances of geometrical concepts . Similarly, proofs by cases undermine Kant's attempts to explain the generality of judgments established through the consideration of individuals by appeal to the rules for the construction of those individuals. ;Contemporary interpretive debates about Kant's philosophy of geometry have centered on the philosophical role played by his appeal to intuition. This appeal cannot be primarily understood as an attempt to establish that the fundamental assumptions of Euclidean geometry are necessary truths about space. Nor can the role for intuition be regarded as merely licensing moves in geometrical proofs like an inference rule in modern logic. Instead, by understanding Kant's appeal to intuition as, at least in part, an attempt to accommodate the diagrammatic features of Euclidean reasoning, a much richer role for intuition is revealed. Intuition is required to play a logical role by expressing spatial relationships and establishing the existence of geometrical entities. In addition, it plays a quasi-perceptual role by supporting the truth of certain claims appealed to during the course of Euclidean proof. (shrink)